1. <A> programmer's introduction to computer systems: hardware and software
پدیدآورنده : John Graham, Roger Loader
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic digital computers,Computer software
رده :
QA
،
76
.
5
،.
G6574
،
1989
2. An introduction to software physics:the meaning of computer
پدیدآورنده : KOLENCE,KENNETH W
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER SOFTWARE
رده :
QA
76
.
6
.
K645
1985
3. Arithmetic optimization techniques for hardware and software design
پدیدآورنده : Kastner, Ryan.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer arithmetic,Design and construction ، Electronic digital computers,Development ، Computer software,، Mathematical optimization
رده :
QA
76
.
9
.
C62
K37
2010
4. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
5. Computer-aided verification
پدیدآورنده : edited by Robert Kurshan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Verification , Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93
C65
1993
6. Computer-aided verification
پدیدآورنده :
موضوع : Computer software-Verification,Electronic digital computers - Evaluation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
8. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
9. Computer concepts and management information systems
پدیدآورنده : Jha, Davendranath, G.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Computers,، computer software,، Electronic digital computers
رده :
QA
76
.
5
.
J43
10. Computer fundamentals with application software
پدیدآورنده : / Gary B. Shelly, Thomas J. Cashman
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers,Electronic data processing,Computer software
رده :
QA76
.
5
.
S457
1986
11. Computer fundamentals with application software
پدیدآورنده : Shelly, Gary B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers,، Electronic data processing,، Computer software
رده :
QA
76
.
5
.
S457
1986
12. Computer safety, reliability, and security
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Reliability ; Congresses. ; Electronic digital computers ; Reliability ; Congresses. ; Computer security ; Congresses. ; Industrial safety ; Congresses. ;
13. Computer safety, reliability, and security
پدیدآورنده : / Erwin Schoitsch (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer software, Reliability, Congresses,Electronic digital computers, Reliability, Congresses,Computer security, Congresses,Industrial safety, Congresses
رده :
QA76
.
76
.
R44
2010
14. Computer safety, reliability, and security: 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
76
.
R44
.
S23
2004
15. Computer safety, reliability, and security: 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety
رده :
QA
76
.
76
.
R44
.
S23
2005
16. Computers Today
پدیدآورنده : Sanders, Donald.H,Donald.H.Sanders
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Electronic Digital Computers,، Computer Software
رده :
AQ
76
.
5/
S2155
17. Computers today
پدیدآورنده : Donald H. Sanders
موضوع : Electronic digital computers,Computer software
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Computers today
پدیدآورنده : Sanders, Donald H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers,، Computer software
رده :
QA
76
.
5
.
S2155
1988
19. Computers today
پدیدآورنده : SANDERS,DONALD H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS , COMPUTER SOFTWARE
رده :
QA
76
.
5
.
S2155
1988